Curing Miracle Steps in LLM Mathematical Reasoning with Rubric Rewards
arxiv.orgยท15h
๐ŸงฎTheorem Proving
Publishing my bachelor's thesis in applied mathematics
timktitarev.wordpress.comยท2hยท
Discuss: Hacker News
๐Ÿ“Linear Algebra
Categorical systems theory
topos.instituteยท7h
๐Ÿ”€Category Theory
People rescuing forgotten knowledge trapped on old floppy disks
bbc.comยท6hยท
Discuss: Hacker News
๐Ÿ“ผCassette Archaeology
LINQ and Learning to Be Declarative
nickstambaugh.devยท1dยท
Discuss: Hacker News
๐Ÿ”—Concatenative Programming
An enough week
blog.mitrichev.chยท23hยท
๐ŸงฎZ3 Solver
A Practical Guide to Kubernetes Stateful Backup and Recovery
thenewstack.ioยท2d
๐Ÿ’ฟBackup Strategies
Cactus Language โ€ข Semantics 3
inquiryintoinquiry.comยท3h
๐Ÿ”ขDenotational Semantics
No Bullshit Guide to Statistics prerelease
minireference.comยท1h
๐ŸงฎKolmogorov Bounds
New Articles: Journal of Contemporary Archival Studies
archivespublishing.comยท1d
โš–๏ธArchive Ethics
Explicit Lossless Vertex Expanders!
gilkalai.wordpress.comยท9h
๐Ÿ’ŽInformation Crystallography
Never Ever Use Content Addressable Storage
frederic.vanderessen.comยท2dยท
Discuss: Hacker News
๐Ÿ›ก๏ธPreservation Proofs
The Library Method: Understanding @cache
dev.toยท18hยท
Discuss: DEV
โšกCache Theory
NAS drive Refurb vs New
reddit.comยท1dยท
Discuss: r/homelab
๐ŸŒก๏ธPreservation Physics
Living Off the Cloud: Abusing Cloud Services for Red Teaming | Cyber Codex
infosecwriteups.comยท7h
๐Ÿ Homelab Federation
Three ways formally verified code can go wrong in practice
buttondown.comยท2h
๐Ÿ“œProof Carrying Code
A Proof of the Riemann Hypothesis
future.forem.comยท1dยท
Discuss: DEV
๐ŸŽฏArithmetic Coding Theory
A Manifesto for the Programming Desperado
github.comยท3hยท
Discuss: Hacker News
๐Ÿ’ปProgramming languages